Process Scheduling, Message Passing, Fault Tolerance, Hot Code Loading

The architecture behind 99.9999% uptime in erlang
volodymyrpotiichuk.com·3d·
📡Erlang
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1h
🎲Parser Fuzzing
The Future is Composable: Orchestrating Multiple APIs with FastServe MCP Servers
dev.to·15h·
Discuss: DEV
🌉Language Bridges
Sonne 4.5 keeps blowing my mind
curzel.it·18h·
Discuss: Hacker News
🦀MIR Optimization
Embracing the parallel coding agent lifestyle
simonw.substack.com·5h·
Discuss: Substack
Live Coding
Highly concurrent in-memory counter in GoLang
engineering.grab.com·5h
🧠Memory Models
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
Working pipe operator today in pure JavaScript
github.com·1d·
Discuss: Hacker News
🌪️V8 Pipeline
The foundation of "streams" in Node.js [NodeBook]
thenodebook.com·1d·
Discuss: r/node
⏱️Real-Time GC
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
Four years, Five failures, One compiler
daymare.net·20h·
🌱Minimal Languages
Achieving 1.2 TB/s Aggregate Bandwidth by Optimizing Distributed Cache Network
juicefs.com·13h·
Discuss: Hacker News
🌍HTTP Servers
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·10h·
Discuss: Hacker News
🛡️Stack Safety
Recurse Checkins
404wolf.com·4h
🔄Bootstrapping
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·3h
🔒Rust Borrowing
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·1h
🔬Nanopasses
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·2d·
Discuss: Hacker News
🖥️Lisp Machines
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models